diferencia entre kernel y sistema operativo